Slice 모델을 이용한 유한상태머신의 트랜지션 축약 알고리즘2008년 1월 1일 · 약 1분이우진담당교수정보과학회논문지:소프트웨어 및 응용(ISSN:1229-6848), 제35권, 제 1호, pp. 12-21, 2008년 1월